Issue2349-instance-visible.agda:12,14-18
x != c ⦃ _ ⦄ {_} ⦃ a ⦄ a of type D ⦃ ℓ ⦄ A
when checking that the expression refl has type
_≡_ {ℓ} {D ⦃ ℓ ⦄ A} x (c ⦃ _ ⦄ {_} ⦃ a ⦄ a)
